From: Matthias Clasen Date: Thu, 29 Nov 2012 03:59:24 +0000 (-0500) Subject: Use nice Unicode for date formatting X-Git-Tag: archive/raspbian/50.5-1+rpi1~1^2~1013^2^2~4902 X-Git-Url: https://dgit.raspbian.org/%22http://www.example.com/cgi/%22/%22http:/www.example.com/cgi/%22?a=commitdiff_plain;h=6f8540f25ae5df3ed59416ee8a8dedf097bdf280;p=gnome-shell.git Use nice Unicode for date formatting The ratio character is nicer aligned for this use than the stock colon, and a thin space is all that is needed before am/pm. https://bugzilla.gnome.org/show_bug.cgi?id=689251 --- diff --git a/js/ui/calendar.js b/js/ui/calendar.js index 0cab1d650..313171dce 100644 --- a/js/ui/calendar.js +++ b/js/ui/calendar.js @@ -62,15 +62,18 @@ function _formatEventTime(event, clockFormat) { } else { switch (clockFormat) { case '24h': - /* Translators: Shown in calendar event list, if 24h format */ - ret = event.date.toLocaleFormat(C_("event list time", "%H:%M")); + /* Translators: Shown in calendar event list, if 24h format, + \u2236 is a ratio character, similar to : */ + ret = event.date.toLocaleFormat(C_("event list time", "%H\u2236%M")); break; default: /* explicit fall-through */ case '12h': - /* Transators: Shown in calendar event list, if 12h format */ - ret = event.date.toLocaleFormat(C_("event list time", "%l:%M %p")); + /* Transators: Shown in calendar event list, if 12h format, + \u2236 is a ratio character, similar to : and \u2009 is + a thin space */ + ret = event.date.toLocaleFormat(C_("event list time", "%l\u2236%M\u2009%p")); break; } }